翻訳と辞書 Words near each other ・ Zohan District ・ Zohan Rural District ・ Zohan, Kerman ・ Zohan, Razavi Khorasan ・ Zohanru ・ Zohapilco ・ Zohar ・ Zohar (album) ・ Zohar (band) ・ Zohar (name) ・ Zohar Adner ・ Zohar Amar ・ Zohar Argov ・ Zohar Bridge ・ Zohar Fresco ・ Zohar Manna ・ Zohar Mohamed Zarwan ・ Zohar Sharon ・ Zohar Solomon ・ Zohar Strauss ・ Zohar Zimro ・ Zohar Zisapel ・ Zohar, Israel ・ Zohara Yaniv ・ Zoharei Chama Synagogue ・ Zoharkuh ・ Zohbarak ・ Zoheb Sharif ・ Zoheleth ・ Zoheth Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Zohar Manna ： ウィキペディア英語版 Zohar Manna Zohar Manna (born 1939) is a professor of computer science at Stanford University. He is the author of ''The Mathematical Theory of Computation'' (McGraw Hill, 1974; reprinted Dover, 2003), one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming. With Amir Pnueli, he co-authored an unfinished trilogy of textbooks on temporal logic and verification of reactive systems: ''The Temporal Logic of Reactive and Concurrent Systems: Specification'' (Springer-Verlag, 1991), ''The Temporal Logic of Reactive and Concurrent Systems: Safety'' (Springer-Verlag, 1995) and ''The Temporal Logic of Reactive and Concurrent Systems: Progress'' (unpublished; first three chapters posted at (http://theory.stanford.edu/~zm/tvors3.html )). In 1994 he was inducted as a Fellow of the Association for Computing Machinery. ==See also== * temporal logic * reactive systems * concurrency (computer science) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Zohar Manna」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.